Métodos Formais em Engenharia de Software
Mestrado de [Engenharia] Informática (13/14)
Cancel
Search
:
^m
Education/MFES1314 Web
Changed
Changed by
Material
14 Jul 2014 - 17:54 - r50
JoseNunoOliveira
Material disponível ou a disponibilizar: Bibliografia Daniel Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. ...
Found
1
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM